val f : unit -> int * int
